论中国现代城市建筑设计中形式美的科技应用趋向

通过对结构、空间、色彩中科技应用的分析,述评了中国现代城市建筑设计中形式美的科技应用趋向。     

嵌入式系统前端开发工具的设计与实现

主要介绍了为更好地对嵌入式系统中硬件环境作形式化描述而开发的ＥＨＤＬ语言,首先介绍了ＨＥＤＬ语言的设计模型和程序结构,然后介绍ＥＨＤＬ语言编译器的主要实现技术。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

浅析《哈克贝利·费恩历险记》的艺术魅力

从幽默与讽刺的巧妙结合;强烈的时代气息;细腻的心理描写;个性化的口语描述和第一人称的叙述方式及热爱人民追求光明的人民性等5个角度阐述了《哈克贝利·费恩历险记》中的艺术魅力。指出了其在19世纪美国文学中占有十分重要的地位,是美国批判现实主义文学的一面战斗旗帜。     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

学术期刊文后参考文献的规范化著录

针对学术期刊文后参考文献的标准化、规范化著录中普通存在的问题进行了阐述，并结合《合肥工业大学学报》(自然科学版)文后参考文献的相关统计分析数据，指出目前学术期刊文后参考文献呈现的新特点及今后改进的措施。     

圆纬机电脑提花的花型数据准备

对单面3工位电子选针的花型数据准备及其算法作了较全面的论述。对提花原理、花型准备系统进行了阐述，探讨了3类花数据及其相互转换的方法，为电子提花圆纬机花型软件的开发提供一些理论基础。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

相同的文学主题,不同的艺术表现--谈郁达夫与劳伦斯对性行为和性心理活动的描写

露骨的性描写和性心理活动的刻画是郁这夫和劳伦斯作品中突出的相同的艺术主题。然而,在他们表面相似 的性爱描写的背后,实际上隐藏着彼此不同的文化内涵,体现出他们之间的差异性。     

集成电路噪声模型算法及其矩阵表达

给出了集成电路噪声模型算法及其矩阵表达．噪声模型算法是利用功率谱密度叠加原理推证得出的，根据噪声叠加原理，多级集成电路的功率谱密度为单级集成电路功率谱密度的叠加之和，而单级集成电路的功率谱密度同样也基于叠加原理求得；并借助电路噪声等效理论，以反相输入运算放大器为例，探讨了运放噪声模型的矩阵算式，其方法和步骤同样适用于同相输入运算放大器；给出的程序设计方法为噪声模型算法的应用提供了思路，使系统参数的计算变得更精确．